ALADIN[1]

A Language for Attributed DefINitions

A language for formal specification of attributed grammars. ALADIN is the input language for the GAG compiler generator. Applicative and strongly typed.

"GAG: A Practical Compiler Generator", Uwe Kastens et al, Lecture Notes in Computer Science 141, Springer-Verlag, 1982.